логическое следование

логическое следование
        ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ — отношение между высказываниями; более точно — отношение между посылками и заключением, которое характеризуется тем, что заключение с необходимостью следует из посылок.
        Понятие Л. с. является центральным в логике. Так, будучи одним из создателей современной логики, А. Тарский в 1936 в работе с характерным названием «О понятии логического следования» писал: «Предложение X логически следует из предложений класса К, если и только если каждая модель класса К есть также модель предложения X». В связи с этим важный смысл приобретает следующий вопрос: что значит для заключения А следовать из посылок Z? Общепринятым считается следующий принцип: А следует из посылок Z, если, и только если, любой случай, в котором каждая посылка в Z является истинной, есть случай, в котором А истинна. Обратим внимание на то что, выдающийся рос. Логик А.А. Марков связывает этот принцип с определением того, что есть логика: «Логику можно определить как науку о хороших способах рассуждения. Под «хорошими» способами рассуждения при этом можно понимать такие, при которых из верных исходных положений получаются верные результаты» (Марков А.А. Элементы математической логики. М., 1984. С. 5). В итоге сутью Л. с. является сохранение истины во всех случаях. Подчеркнем, что свойства Л. с. напрямую связаны со свойствами логической связки «импликация» (см. Логика высказывании). Это значит, напр., что если формула А логически следует из формулы В (символически: А —* В), то импликативная формула A D В является законом логики (см. Логический закон).
        Если сутью логики является сохранение истины во всех случаях, то различные логики получаются различными экспликациями этих случаев. Уточнение этих случаев первоначально привело к устранению так называемых парадоксов материальной импликации (см. Парадоксы импликации). Так появилось понятие строгой импликации и в связи с этим класс модальных логик Льюиса (см. Модальные логики). В свою очередь, устранение парадоксов строгой импликации привело к появлению класса релевантных логик. Понятие Л. с. Тарского предполагает принцип: «из лжи следует все что угодно». Устранение этого принципа привело к появлению класса паранепротиворечивых логик. Др. свойством отношения Л. с. является его монотонность. Последнее означает, что добавление посылок не влияет на приемлемость первоначально полученного заключения. Отказ от монотонности ведет к классу немонотонных логик.
        В последнее время вокруг концепции Л. с. Тарского идет оживленная дискуссия. Дело в том, что сама эта концепция носит, скорее, философский, нетехнический характер и оставляет много места для различных конфликтующих интерпретаций. Основной замысел Тарского состоял в том, чтобы дать определение Л. с, применимого для очень широкого класса рассуждений, причем, как оказалось, настолько широкого, что возникают проблемы уже иного уровня, относящиеся к вопросу о том, что есть логика.
        А.С. Карпенко
        Лит.: Gomez-Torrente M. Tarski on Logical Consequence // Notre D a m e Journal of Formal Logic. 1996. Vol. 37. № 1; Tarski A. On the Concept of Logical Consequence // Tarski A. Logic, Semantics, Metamatematics. Indianapolis, 1983. P. 409—420.

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.

Игры ⚽ Поможем написать курсовую

Полезное


Смотреть что такое "логическое следование" в других словарях:

  • ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ —         отношение между некоторыми высказываниями (посылками) Г и высказыванием В (заключением), отображающее тот факт, что из Г, используя правильные приёмы рассуждения, можно получить В. В логике, фиксирующей нормы рассуждения с помощью… …   Философская энциклопедия

  • Логическое следование — или Импликация в повседневной речи читается если A, то В. Обозначается: Избавление от операции импликации: Таблица истинности: A B 0 0 1 0 1 1 1 0 …   Википедия

  • логическое следование — отношение, существующее между посылками и обоснованно выводимыми из них заключениями. Л.с. относится к числу фундаментальных, исходных понятий логики, точного универсального определения не имеет; в частности, описание его с помощью слов выводимо …   Словарь терминов логики

  • СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ —     СЛЕДОВАНИЕ ЛОГИЧЕСКОЕ отношение между некоторым множеством высказываний Г (гипотез) и высказыванием В (заключением), отображающее тот факт, что, в силу только логической структуры названных высказываний и, значит, независимо от их содержания… …   Философская энциклопедия

  • следование — см.: Логическое следование …   Словарь терминов логики

  • Логическое отрицание — Отрицание в логике унарная операция над суждениями, результатом которой является суждение (в известном смысле) «противоположное» исходному. Обозначается знаком ¬ Как в классической, так и в интуиционистской логике «двойное отрицание» ¬¬A является …   Википедия

  • Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • СЛЕДОВАНИЕ — (логическое следо в а н и е) – отношение между суждениями (высказываниями, предложениями, утвержде ниями), играющее центр. роль в (дедуктивной) логике: изучение свойств С. в конечном счете породило всю логич. проблематику. Поскольку С.… …   Философская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • Конструктивный прием — – вид семантических отношений между основными смысловыми элементами логического единства, выступающий как средство стилистической выразительности и соответствующий определенной структурно смысловой целостности дискурса. Конструктивные приемы, так …   Стилистический энциклопедический словарь русского языка


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»